Quantificatore esistenziale (simbolo)
Il quantificatore esistenziale è un carattere tipografico scientifico, molto usato sia in insiemistica che in logica, due campi tra loro affini della matematica; il nome del ∃ ha un'etimologia facilmente ricercabile: con la parola quantificatore si intende la sua funzione di indicare la grandezza o l'estensione di un'affermazione e con esistenziale il fatto che tale proposizione vale sempre almeno per un caso, che dunque esiste. La sua lettura matematica corrisponde a "esiste un/una", e la sua forma viene dalla lettera E maiuscola invertita, l'iniziale capovolta della parola inglese Exists.